77710786c6c77e30b327bfeb8763defd214808e7,eclipsePlugin/src/de/tobject/findbugs/properties/WorkspaceSettingsTab.java,WorkspaceSettingsTab,performOK,#,194
Before Change
public void performOK() {
final SortedSet<String> detectorPaths = PrefsUtil.readDetectorPaths(store);
if (DetectorFactoryCollection.isLoaded()) {
DetectorFactoryCollection dfc = DetectorFactoryCollection.instance();
URL[] pluginList = dfc.getPluginList();
boolean shouldReplace = pluginList.length != detectorPaths.size();
if (!shouldReplace) {
// check if both lists are really identical
for (URL url : pluginList) {
String file = url.getFile();
IPath filterPath = FindBugsWorker.getFilterPath(file, null);
if (!detectorPaths.contains(filterPath.toPortableString())) {
shouldReplace = true;
break;
}
}
}
if (!shouldReplace) {
return;
}
} else if (detectorPaths.isEmpty()) {
return;
}
After Change
store.setValue(FindBugsConstants.KEY_SHORT_CLASSPATH, shortClassPath);
} else {
final SortedSet<String> detectorPaths = PrefsUtil.readDetectorPaths(store);
if (detectorPaths.isEmpty() && !DetectorFactoryCollection.isLoaded()) {
return;
}
FindbugsPlugin.applyCustomDetectors(true);